package test

class StrongWeakRelations extends EqTester {
  override def beforeAll {
    super.beforeAll()
    loadBasicAgents()
  }
  
  /*
  * This test verifies the relations between strong and weak equivalences which are:
  * Strong        Weak
  *    T     =>     T
  *    F     <=     F 
  * Returns true upon success.
  */
  def checkRelations(params: String): Boolean = {
      val strong = runStrongEq(params)
      val weak = runWeakEq(params)
      if (strong) weak else if (!weak) !strong else true
  }
  
  
  
  test("A strong and weak relations test") {

      assert(checkRelations("(A, A)") === true)
      assert(checkRelations("(A, A')") === true)
      assert(checkRelations("(A, B)") === true)

      assert(checkRelations("(A, B')") === true)
      assert(checkRelations("(A, C)") === true)
      assert(checkRelations("(A, C')") === true)
      assert(checkRelations("(A, D)") === true)
      assert(checkRelations("(A, D')") === true)
      assert(checkRelations("(A, E)") === true)
      assert(checkRelations("(A, E')") === true)
      assert(checkRelations("(A, VanG1)") === true)
      assert(checkRelations("(A, VanG1')") === true)
      assert(checkRelations("(A, VanG2)") === true)
      assert(checkRelations("(A, VanG2')") === true)
      assert(checkRelations("(A, VanG3)") === true)
      assert(checkRelations("(A, VanG3')") === true)
      assert(checkRelations("(A, VanG4)") === true)
      assert(checkRelations("(A, VanG4')") === true)
      assert(checkRelations("(A, VanG5)") === true)
      assert(checkRelations("(A, VanG5')") === true)
      assert(checkRelations("(A, VanG6)") === true)
      assert(checkRelations("(A, VanG6')") === true)

  }


  test("A' strong and weak relations test") {
    

      assert(checkRelations("(A', A)") === true)
      assert(checkRelations("(A', A')") === true)
      assert(checkRelations("(A', B)") === true)
      assert(checkRelations("(A', B')") === true)
      assert(checkRelations("(A', C)") === true)
      assert(checkRelations("(A', C')") === true)
      assert(checkRelations("(A', D)") === true)
      assert(checkRelations("(A', D')") === true)
      assert(checkRelations("(A', E)") === true)
      assert(checkRelations("(A', E')") === true)
      assert(checkRelations("(A', VanG1)") === true)
      assert(checkRelations("(A', VanG1')") === true)
      assert(checkRelations("(A', VanG2)") === true)
      assert(checkRelations("(A', VanG2')") === true)
      assert(checkRelations("(A', VanG3)") === true)
      assert(checkRelations("(A', VanG3')") === true)
      assert(checkRelations("(A', VanG4)") === true)
      assert(checkRelations("(A', VanG4')") === true)
      assert(checkRelations("(A', VanG5)") === true)
      assert(checkRelations("(A', VanG5')") === true)
      assert(checkRelations("(A', VanG6)") === true)
      assert(checkRelations("(A', VanG6')") === true)
    }
  test("B strong and weak relations test") {
    

      assert(checkRelations("(B, A)") === true)
      assert(checkRelations("(B, A')") === true)
      assert(checkRelations("(B, B)") === true)
      assert(checkRelations("(B, B')") === true)
      assert(checkRelations("(B, C)") === true)
      assert(checkRelations("(B, C')") === true)
      assert(checkRelations("(B, D)") === true)
      assert(checkRelations("(B, D')") === true)
      assert(checkRelations("(B, E)") === true)
      assert(checkRelations("(B, E')") === true)
      assert(checkRelations("(B, VanG1)") === true)
      assert(checkRelations("(B, VanG1')") === true)
      assert(checkRelations("(B, VanG2)") === true)
      assert(checkRelations("(B, VanG2')") === true)
      assert(checkRelations("(B, VanG3)") === true)
      assert(checkRelations("(B, VanG3')") === true)
      assert(checkRelations("(B, VanG4)") === true)
      assert(checkRelations("(B, VanG4')") === true)
      assert(checkRelations("(B, VanG5)") === true)
      assert(checkRelations("(B, VanG5')") === true)
      assert(checkRelations("(B, VanG6)") === true)
      assert(checkRelations("(B, VanG6')") === true)
    }

  test("B' strong and weak relations test") {
    


      assert(checkRelations("(B', A)") === true)
      assert(checkRelations("(B', A')") === true)
      assert(checkRelations("(B', B)") === true)
      assert(checkRelations("(B', B')") === true)
      assert(checkRelations("(B', C)") === true)
      assert(checkRelations("(B', C')") === true)
      assert(checkRelations("(B', D)") === true)
      assert(checkRelations("(B', D')") === true)
      assert(checkRelations("(B', E)") === true)
      assert(checkRelations("(B', E')") === true)
      assert(checkRelations("(B', VanG1)") === true)
      assert(checkRelations("(B', VanG1')") === true)
      assert(checkRelations("(B', VanG2)") === true)
      assert(checkRelations("(B', VanG2')") === true)
      assert(checkRelations("(B', VanG3)") === true)
      assert(checkRelations("(B', VanG3')") === true)
      assert(checkRelations("(B', VanG4)") === true)
      assert(checkRelations("(B', VanG4')") === true)
      assert(checkRelations("(B', VanG5)") === true)
      assert(checkRelations("(B', VanG5')") === true)
      assert(checkRelations("(B', VanG6)") === true)
      assert(checkRelations("(B', VanG6')") === true)
    }
  test("C strong and weak relations test") {
    

      assert(checkRelations("(C, A)") === true)
      assert(checkRelations("(C, A')") === true)
      assert(checkRelations("(C, B)") === true)
      assert(checkRelations("(C, B')") === true)
      assert(checkRelations("(C, C)") === true)
      assert(checkRelations("(C, C')") === true)
      assert(checkRelations("(C, D)") === true)
      assert(checkRelations("(C, D')") === true)
      assert(checkRelations("(C, E)") === true)
      assert(checkRelations("(C, E')") === true)
      assert(checkRelations("(C, VanG1)") === true)
      assert(checkRelations("(C, VanG1')") === true)
      assert(checkRelations("(C, VanG2)") === true)
      assert(checkRelations("(C, VanG2')") === true)
      assert(checkRelations("(C, VanG3)") === true)
      assert(checkRelations("(C, VanG3')") === true)
      assert(checkRelations("(C, VanG4)") === true)
      assert(checkRelations("(C, VanG4')") === true)
      assert(checkRelations("(C, VanG5)") === true)
      assert(checkRelations("(C, VanG5')") === true)
      assert(checkRelations("(C, VanG6)") === true)
      assert(checkRelations("(C, VanG6')") === true)
    }
  test("C' strong and weak relations test") {
    

      assert(checkRelations("(C', A)") === true)
      assert(checkRelations("(C', A')") === true)
      assert(checkRelations("(C', B)") === true)
      assert(checkRelations("(C', B')") === true)
      assert(checkRelations("(C', C)") === true)
      assert(checkRelations("(C', C')") === true)
      assert(checkRelations("(C', D)") === true)
      assert(checkRelations("(C', D')") === true)
      assert(checkRelations("(C', E)") === true)
      assert(checkRelations("(C', E')") === true)
      assert(checkRelations("(C', VanG1)") === true)
      assert(checkRelations("(C', VanG1')") === true)
      assert(checkRelations("(C', VanG2)") === true)
      assert(checkRelations("(C', VanG2')") === true)
      assert(checkRelations("(C', VanG3)") === true)
      assert(checkRelations("(C', VanG3')") === true)
      assert(checkRelations("(C', VanG4)") === true)
      assert(checkRelations("(C', VanG4')") === true)
      assert(checkRelations("(C', VanG5)") === true)
      assert(checkRelations("(C', VanG5')") === true)
      assert(checkRelations("(C', VanG6)") === true)
      assert(checkRelations("(C', VanG6')") === true)
    }
  test("D strong and weak relations test") {
    

      assert(checkRelations("(D, A)") === true)
      assert(checkRelations("(D, A')") === true)
      assert(checkRelations("(D, B)") === true)
      assert(checkRelations("(D, B')") === true)
      assert(checkRelations("(D, C)") === true)
      assert(checkRelations("(D, C')") === true)
      assert(checkRelations("(D, D)") === true)
      assert(checkRelations("(D, D')") === true)
      assert(checkRelations("(D, E)") === true)
      assert(checkRelations("(D, E')") === true)
      assert(checkRelations("(D, VanG1)") === true)
      assert(checkRelations("(D, VanG1')") === true)
      assert(checkRelations("(D, VanG2)") === true)
      assert(checkRelations("(D, VanG2')") === true)
      assert(checkRelations("(D, VanG3)") === true)
      assert(checkRelations("(D, VanG3')") === true)
      assert(checkRelations("(D, VanG4)") === true)
      assert(checkRelations("(D, VanG4')") === true)
      assert(checkRelations("(D, VanG5)") === true)
      assert(checkRelations("(D, VanG5')") === true)
      assert(checkRelations("(D, VanG6)") === true)
      assert(checkRelations("(D, VanG6')") === true)
    }
  test("D' strong and weak relations test") {
    

      assert(checkRelations("(D', A)") === true)
      assert(checkRelations("(D', A')") === true)
      assert(checkRelations("(D', B)") === true)
      assert(checkRelations("(D', B')") === true)
      assert(checkRelations("(D', C)") === true)
      assert(checkRelations("(D', C')") === true)
      assert(checkRelations("(D', D)") === true)
      assert(checkRelations("(D', D')") === true)
      assert(checkRelations("(D', E)") === true)
      assert(checkRelations("(D', E')") === true)
      assert(checkRelations("(D', VanG1)") === true)
      assert(checkRelations("(D', VanG1')") === true)
      assert(checkRelations("(D', VanG2)") === true)
      assert(checkRelations("(D', VanG2')") === true)
      assert(checkRelations("(D', VanG3)") === true)
      assert(checkRelations("(D', VanG3')") === true)
      assert(checkRelations("(D', VanG4)") === true)
      assert(checkRelations("(D', VanG4')") === true)
      assert(checkRelations("(D', VanG5)") === true)
      assert(checkRelations("(D', VanG5')") === true)
      assert(checkRelations("(D', VanG6)") === true)
      assert(checkRelations("(D', VanG6')") === true)
    }

  test("E strong and weak relations test") {
    

      assert(checkRelations("(E, A)") === true)
      assert(checkRelations("(E, A')") === true)
      assert(checkRelations("(E, B)") === true)
      assert(checkRelations("(E, B')") === true)
      assert(checkRelations("(E, C)") === true)
      assert(checkRelations("(E, C')") === true)
      assert(checkRelations("(E, D)") === true)
      assert(checkRelations("(E, D')") === true)
      assert(checkRelations("(E, E)") === true)
      assert(checkRelations("(E, E')") === true)
      assert(checkRelations("(E, VanG1)") === true)
      assert(checkRelations("(E, VanG1')") === true)
      assert(checkRelations("(E, VanG2)") === true)
      assert(checkRelations("(E, VanG2')") === true)
      assert(checkRelations("(E, VanG3)") === true)
      assert(checkRelations("(E, VanG3')") === true)
      assert(checkRelations("(E, VanG4)") === true)
      assert(checkRelations("(E, VanG4')") === true)
      assert(checkRelations("(E, VanG5)") === true)
      assert(checkRelations("(E, VanG5')") === true)
      assert(checkRelations("(E, VanG6)") === true)
      assert(checkRelations("(E, VanG6')") === true)
    }

  test("E' strong and weak relations test") {
    

      assert(checkRelations("(E', A)") === true)
      assert(checkRelations("(E', A')") === true)
      assert(checkRelations("(E', B)") === true)
      assert(checkRelations("(E', B')") === true)
      assert(checkRelations("(E', C)") === true)
      assert(checkRelations("(E', C')") === true)
      assert(checkRelations("(E', D)") === true)
      assert(checkRelations("(E', D')") === true)
      assert(checkRelations("(E', E)") === true)
      assert(checkRelations("(E', E')") === true)
      assert(checkRelations("(E', VanG1)") === true)
      assert(checkRelations("(E', VanG1')") === true)
      assert(checkRelations("(E', VanG2)") === true)
      assert(checkRelations("(E', VanG2')") === true)
      assert(checkRelations("(E', VanG3)") === true)
      assert(checkRelations("(E', VanG3')") === true)
      assert(checkRelations("(E', VanG4)") === true)
      assert(checkRelations("(E', VanG4')") === true)
      assert(checkRelations("(E', VanG5)") === true)
      assert(checkRelations("(E', VanG5')") === true)
      assert(checkRelations("(E', VanG6)") === true)
      assert(checkRelations("(E', VanG6')") === true)
    }

  test("VanG1 strong and weak relations test") {
    

      assert(checkRelations("(VanG1, A)") === true)
      assert(checkRelations("(VanG1, A')") === true)
      assert(checkRelations("(VanG1, B)") === true)
      assert(checkRelations("(VanG1, B')") === true)
      assert(checkRelations("(VanG1, C)") === true)
      assert(checkRelations("(VanG1, C')") === true)
      assert(checkRelations("(VanG1, D)") === true)
      assert(checkRelations("(VanG1, D')") === true)
      assert(checkRelations("(VanG1, E)") === true)
      assert(checkRelations("(VanG1, E')") === true)
      assert(checkRelations("(VanG1, VanG1)") === true)
      assert(checkRelations("(VanG1, VanG1')") === true)
      assert(checkRelations("(VanG1, VanG2)") === true)
      assert(checkRelations("(VanG1, VanG2')") === true)
      assert(checkRelations("(VanG1, VanG3)") === true)
      assert(checkRelations("(VanG1, VanG3')") === true)
      assert(checkRelations("(VanG1, VanG4)") === true)
      assert(checkRelations("(VanG1, VanG4')") === true)
      assert(checkRelations("(VanG1, VanG5)") === true)
      assert(checkRelations("(VanG1, VanG5')") === true)
      assert(checkRelations("(VanG1, VanG6)") === true)
      assert(checkRelations("(VanG1, VanG6')") === true)
    }

  test("VanG1' strong and weak relations test") {
    

      assert(checkRelations("(VanG1', A)") === true)
      assert(checkRelations("(VanG1', A')") === true)
      assert(checkRelations("(VanG1', B)") === true)
      assert(checkRelations("(VanG1', B')") === true)
      assert(checkRelations("(VanG1', C)") === true)
      assert(checkRelations("(VanG1', C')") === true)
      assert(checkRelations("(VanG1', D)") === true)
      assert(checkRelations("(VanG1', D')") === true)
      assert(checkRelations("(VanG1', E)") === true)
      assert(checkRelations("(VanG1', E')") === true)
      assert(checkRelations("(VanG1', VanG1)") === true)
      assert(checkRelations("(VanG1', VanG1')") === true)
      assert(checkRelations("(VanG1', VanG2)") === true)
      assert(checkRelations("(VanG1', VanG2')") === true)
      assert(checkRelations("(VanG1', VanG3)") === true)
      assert(checkRelations("(VanG1', VanG3')") === true)
      assert(checkRelations("(VanG1', VanG4)") === true)
      assert(checkRelations("(VanG1', VanG4')") === true)
      assert(checkRelations("(VanG1', VanG5)") === true)
      assert(checkRelations("(VanG1', VanG5')") === true)
      assert(checkRelations("(VanG1', VanG6)") === true)
      assert(checkRelations("(VanG1', VanG6')") === true)
    }
  test("VanG2 strong and weak relations test") {
    

      assert(checkRelations("(VanG2, A)") === true)
      assert(checkRelations("(VanG2, A')") === true)
      assert(checkRelations("(VanG2, B)") === true)
      assert(checkRelations("(VanG2, B')") === true)
      assert(checkRelations("(VanG2, C)") === true)
      assert(checkRelations("(VanG2, C')") === true)
      assert(checkRelations("(VanG2, D)") === true)
      assert(checkRelations("(VanG2, D')") === true)
      assert(checkRelations("(VanG2, E)") === true)
      assert(checkRelations("(VanG2, E')") === true)
      assert(checkRelations("(VanG2, VanG1)") === true)
      assert(checkRelations("(VanG2, VanG1')") === true)
      assert(checkRelations("(VanG2, VanG2)") === true)
      assert(checkRelations("(VanG2, VanG2')") === true)
      assert(checkRelations("(VanG2, VanG3)") === true)
      assert(checkRelations("(VanG2, VanG3')") === true)
      assert(checkRelations("(VanG2, VanG4)") === true)
      assert(checkRelations("(VanG2, VanG4')") === true)
      assert(checkRelations("(VanG2, VanG5)") === true)
      assert(checkRelations("(VanG2, VanG5')") === true)
      assert(checkRelations("(VanG2, VanG6)") === true)
      assert(checkRelations("(VanG2, VanG6')") === true)
    }
  test("VanG2' strong and weak relations test") {
    

      assert(checkRelations("(VanG2', A)") === true)
      assert(checkRelations("(VanG2', A')") === true)
      assert(checkRelations("(VanG2', B)") === true)
      assert(checkRelations("(VanG2', B')") === true)
      assert(checkRelations("(VanG2', C)") === true)
      assert(checkRelations("(VanG2', C')") === true)
      assert(checkRelations("(VanG2', D)") === true)
      assert(checkRelations("(VanG2', D')") === true)
      assert(checkRelations("(VanG2', E)") === true)
      assert(checkRelations("(VanG2', E')") === true)
      assert(checkRelations("(VanG2', VanG1)") === true)
      assert(checkRelations("(VanG2', VanG1')") === true)
      assert(checkRelations("(VanG2', VanG2)") === true)
      assert(checkRelations("(VanG2', VanG2')") === true)
      assert(checkRelations("(VanG2', VanG3)") === true)
      assert(checkRelations("(VanG2', VanG3')") === true)
      assert(checkRelations("(VanG2', VanG4)") === true)
      assert(checkRelations("(VanG2', VanG4')") === true)
      assert(checkRelations("(VanG2', VanG5)") === true)
      assert(checkRelations("(VanG2', VanG5')") === true)
      assert(checkRelations("(VanG2', VanG6)") === true)
      assert(checkRelations("(VanG2', VanG6')") === true)
    }
  test("VanG3 strong and weak relations test") {
    

      assert(checkRelations("(VanG3, A)") === true)
      assert(checkRelations("(VanG3, A')") === true)
      assert(checkRelations("(VanG3, B)") === true)
      assert(checkRelations("(VanG3, B')") === true)
      assert(checkRelations("(VanG3, C)") === true)
      assert(checkRelations("(VanG3, C')") === true)
      assert(checkRelations("(VanG3, D)") === true)
      assert(checkRelations("(VanG3, D')") === true)
      assert(checkRelations("(VanG3, E)") === true)
      assert(checkRelations("(VanG3, E')") === true)
      assert(checkRelations("(VanG3, VanG1)") === true)
      assert(checkRelations("(VanG3, VanG1')") === true)
      assert(checkRelations("(VanG3, VanG2)") === true)
      assert(checkRelations("(VanG3, VanG2')") === true)
      assert(checkRelations("(VanG3, VanG3)") === true)
      assert(checkRelations("(VanG3, VanG3')") === true)
      assert(checkRelations("(VanG3, VanG4)") === true)
      assert(checkRelations("(VanG3, VanG4')") === true)
      assert(checkRelations("(VanG3, VanG5)") === true)
      assert(checkRelations("(VanG3, VanG5')") === true)
      assert(checkRelations("(VanG3, VanG6)") === true)
      assert(checkRelations("(VanG3, VanG6')") === true)
    }
  test("VanG3' strong and weak relations test") {
    

      assert(checkRelations("(VanG3', A)") === true)
      assert(checkRelations("(VanG3', A')") === true)
      assert(checkRelations("(VanG3', B)") === true)
      assert(checkRelations("(VanG3', B')") === true)
      assert(checkRelations("(VanG3', C)") === true)
      assert(checkRelations("(VanG3', C')") === true)
      assert(checkRelations("(VanG3', D)") === true)
      assert(checkRelations("(VanG3', D')") === true)
      assert(checkRelations("(VanG3', E)") === true)
      assert(checkRelations("(VanG3', E')") === true)
      assert(checkRelations("(VanG3', VanG1)") === true)
      assert(checkRelations("(VanG3', VanG1')") === true)
      assert(checkRelations("(VanG3', VanG2)") === true)
      assert(checkRelations("(VanG3', VanG2')") === true)
      assert(checkRelations("(VanG3', VanG3)") === true)
      assert(checkRelations("(VanG3', VanG3')") === true)
      assert(checkRelations("(VanG3', VanG4)") === true)
      assert(checkRelations("(VanG3', VanG4')") === true)
      assert(checkRelations("(VanG3', VanG5)") === true)
      assert(checkRelations("(VanG3', VanG5')") === true)
      assert(checkRelations("(VanG3', VanG6)") === true)
      assert(checkRelations("(VanG3', VanG6')") === true)
    }

  test("VanG4 strong and weak relations test") {
    

      assert(checkRelations("(VanG4, A)") === true)
      assert(checkRelations("(VanG4, A')") === true)
      assert(checkRelations("(VanG4, B)") === true)
      assert(checkRelations("(VanG4, B')") === true)
      assert(checkRelations("(VanG4, C)") === true)
      assert(checkRelations("(VanG4, C')") === true)
      assert(checkRelations("(VanG4, D)") === true)
      assert(checkRelations("(VanG4, D')") === true)
      assert(checkRelations("(VanG4, E)") === true)
      assert(checkRelations("(VanG4, E')") === true)
      assert(checkRelations("(VanG4, VanG1)") === true)
      assert(checkRelations("(VanG4, VanG1')") === true)
      assert(checkRelations("(VanG4, VanG2)") === true)
      assert(checkRelations("(VanG4, VanG2')") === true)
      assert(checkRelations("(VanG4, VanG3)") === true)
      assert(checkRelations("(VanG4, VanG3')") === true)
      assert(checkRelations("(VanG4, VanG4)") === true)
      assert(checkRelations("(VanG4, VanG4')") === true)
      assert(checkRelations("(VanG4, VanG5)") === true)
      assert(checkRelations("(VanG4, VanG5')") === true)
      assert(checkRelations("(VanG4, VanG6)") === true)
      assert(checkRelations("(VanG4, VanG6')") === true)
    }
  test("VanG4' strong and weak relations test") {
    

      assert(checkRelations("(VanG4', A)") === true)
      assert(checkRelations("(VanG4', A')") === true)
      assert(checkRelations("(VanG4', B)") === true)
      assert(checkRelations("(VanG4', B')") === true)
      assert(checkRelations("(VanG4', C)") === true)
      assert(checkRelations("(VanG4', C')") === true)
      assert(checkRelations("(VanG4', D)") === true)
      assert(checkRelations("(VanG4', D')") === true)
      assert(checkRelations("(VanG4', E)") === true)
      assert(checkRelations("(VanG4', E')") === true)
      assert(checkRelations("(VanG4', VanG1)") === true)
      assert(checkRelations("(VanG4', VanG1')") === true)
      assert(checkRelations("(VanG4', VanG2)") === true)
      assert(checkRelations("(VanG4', VanG2')") === true)
      assert(checkRelations("(VanG4', VanG3)") === true)
      assert(checkRelations("(VanG4', VanG3')") === true)
      assert(checkRelations("(VanG4', VanG4)") === true)
      assert(checkRelations("(VanG4', VanG4')") === true)
      assert(checkRelations("(VanG4', VanG5)") === true)
      assert(checkRelations("(VanG4', VanG5')") === true)
      assert(checkRelations("(VanG4', VanG6)") === true)
      assert(checkRelations("(VanG4', VanG6')") === true)
    }
  test("VanG5 strong and weak relations test") {
    

      assert(checkRelations("(VanG5, A)") === true)
      assert(checkRelations("(VanG5, A')") === true)
      assert(checkRelations("(VanG5, B)") === true)
      assert(checkRelations("(VanG5, B')") === true)
      assert(checkRelations("(VanG5, C)") === true)
      assert(checkRelations("(VanG5, C')") === true)
      assert(checkRelations("(VanG5, D)") === true)
      assert(checkRelations("(VanG5, D')") === true)
      assert(checkRelations("(VanG5, E)") === true)
      assert(checkRelations("(VanG5, E')") === true)
      assert(checkRelations("(VanG5, VanG1)") === true)
      assert(checkRelations("(VanG5, VanG1')") === true)
      assert(checkRelations("(VanG5, VanG2)") === true)
      assert(checkRelations("(VanG5, VanG2')") === true)
      assert(checkRelations("(VanG5, VanG3)") === true)
      assert(checkRelations("(VanG5, VanG3')") === true)
      assert(checkRelations("(VanG5, VanG4)") === true)
      assert(checkRelations("(VanG5, VanG4')") === true)
      assert(checkRelations("(VanG5, VanG5)") === true)
      assert(checkRelations("(VanG5, VanG5')") === true)
      assert(checkRelations("(VanG5, VanG6)") === true)
      assert(checkRelations("(VanG5, VanG6')") === true)
    }
  test("VanG5' strong and weak relations test") {
    

      assert(checkRelations("(VanG5', A)") === true)
      assert(checkRelations("(VanG5', A')") === true)
      assert(checkRelations("(VanG5', B)") === true)
      assert(checkRelations("(VanG5', B')") === true)
      assert(checkRelations("(VanG5', C)") === true)
      assert(checkRelations("(VanG5', C')") === true)
      assert(checkRelations("(VanG5', D)") === true)
      assert(checkRelations("(VanG5', D')") === true)
      assert(checkRelations("(VanG5', E)") === true)
      assert(checkRelations("(VanG5', E')") === true)
      assert(checkRelations("(VanG5', VanG1)") === true)
      assert(checkRelations("(VanG5', VanG1')") === true)
      assert(checkRelations("(VanG5', VanG2)") === true)
      assert(checkRelations("(VanG5', VanG2')") === true)
      assert(checkRelations("(VanG5', VanG3)") === true)
      assert(checkRelations("(VanG5', VanG3')") === true)
      assert(checkRelations("(VanG5', VanG4)") === true)
      assert(checkRelations("(VanG5', VanG4')") === true)
      assert(checkRelations("(VanG5', VanG5)") === true)
      assert(checkRelations("(VanG5', VanG5')") === true)
      assert(checkRelations("(VanG5', VanG6)") === true)
      assert(checkRelations("(VanG5', VanG6')") === true)
    }
  test("VanG6 strong and weak relations test") {
    

      assert(checkRelations("(VanG6, A)") === true)
      assert(checkRelations("(VanG6, A')") === true)
      assert(checkRelations("(VanG6, B)") === true)
      assert(checkRelations("(VanG6, B')") === true)
      assert(checkRelations("(VanG6, C)") === true)
      assert(checkRelations("(VanG6, C')") === true)
      assert(checkRelations("(VanG6, D)") === true)
      assert(checkRelations("(VanG6, D')") === true)
      assert(checkRelations("(VanG6, E)") === true)
      assert(checkRelations("(VanG6, E')") === true)
      assert(checkRelations("(VanG6, VanG1)") === true)
      assert(checkRelations("(VanG6, VanG1')") === true)
      assert(checkRelations("(VanG6, VanG2)") === true)
      assert(checkRelations("(VanG6, VanG2')") === true)
      assert(checkRelations("(VanG6, VanG3)") === true)
      assert(checkRelations("(VanG6, VanG3')") === true)
      assert(checkRelations("(VanG6, VanG4)") === true)
      assert(checkRelations("(VanG6, VanG4')") === true)
      assert(checkRelations("(VanG6, VanG5)") === true)
      assert(checkRelations("(VanG6, VanG5')") === true)
      assert(checkRelations("(VanG6, VanG6)") === true)
      assert(checkRelations("(VanG6, VanG6')") === true)
    }
  test("VanG6' strong and weak relations test") {
      assert(checkRelations("(VanG6', A)") === true)
      assert(checkRelations("(VanG6', A')") === true)
      assert(checkRelations("(VanG6', B)") === true)
      assert(checkRelations("(VanG6', B')") === true)
      assert(checkRelations("(VanG6', C)") === true)
      assert(checkRelations("(VanG6', C')") === true)
      assert(checkRelations("(VanG6', D)") === true)
      assert(checkRelations("(VanG6', D')") === true)
      assert(checkRelations("(VanG6', E)") === true)
      assert(checkRelations("(VanG6', E')") === true)
      assert(checkRelations("(VanG6', VanG1)") === true)
      assert(checkRelations("(VanG6', VanG1')") === true)
      assert(checkRelations("(VanG6', VanG2)") === true)
      assert(checkRelations("(VanG6', VanG2')") === true)
      assert(checkRelations("(VanG6', VanG3)") === true)
      assert(checkRelations("(VanG6', VanG3')") === true)
      assert(checkRelations("(VanG6', VanG4)") === true)
      assert(checkRelations("(VanG6', VanG4')") === true)
      assert(checkRelations("(VanG6', VanG5)") === true)
      assert(checkRelations("(VanG6', VanG5')") === true)
      assert(checkRelations("(VanG6', VanG6)") === true)
      assert(checkRelations("(VanG6', VanG6')") === true)
    }
}